Papers with mathematical and coding tasks

3 papers
ThinkBooster: A Unified Framework for Seamless Test-Time Scaling of LLM Reasoning (2026.acl-demo)

Copied to clipboard

Challenge: Existing TTC scaling strategies and reasoning scorers are fragmented and evaluated under inconsistent protocols.
Approach: They propose a framework for seamless test-time compute scaling of large language model reasoning . they use a modular Python library to implement state-of-the-art scaling strategy and scorer families .
Outcome: The proposed framework evaluates performance and computational efficiency on mathematical and coding tasks.
InductionBench: LLMs Fail in the Simplest Complexity Class (2025.acl-long)

Copied to clipboard

Challenge: Existing benchmarks focus on deductive reasoning, largely overlooking inductive reasoning.
Approach: They propose a benchmark to evaluate the inductive reasoning ability of large language models.
Outcome: The proposed benchmark demonstrates that even the most advanced modelw struggle to master the simplest complexity classes within the subregular hierarchy of functions.
Embodied-Reasoner: Synergizing Visual Search, Reasoning, and Action for Embodied Interactive Tasks (2026.acl-long)

Copied to clipboard

Challenge: Recent advances in reasoning models have demonstrated remarkable capabilities on mathematical and coding tasks, but their effectiveness in embodied domains remains largely unexplored.
Approach: They propose a reasoning model for interactive embodied tasks that synthesizes 9.3k coherent Observation-Thought-Action trajectories containing 64k ego-centric images and 90k diverse reasoning processes.
Outcome: The proposed model outperforms existing visual reasoning models by +9%, 24%, and +13% on long-horizon tasks.

What is GenGO?

GenGO is an NLP powered publication search system. It currenctly indexes 30k+ papers from ACL Anthology, and implements multi-aspect summarization, semantic search, and more!

Information

About
Limitations